On the heat kernel and the Dirichlet form of the Liouville Brownian motion

In [14], a Feller process called Liouville Brownian motion on R2 has been introduced. It can be seen as a Brownian motion evolving in a random geometry given formally by the exponential of a (massive) Gaussian Free Field e X and is the right diffusion process to consider regarding 2d-Liouville quantum gravity. In this note, we discuss the construction of the associated Dirichlet form, following essentially [13] and the techniques introduced in [14]. Then we carry out the analysis of the Liouville resolvent. In particular, we prove that it is strong Feller, thus obtaining the existence of the Liouville heat kernel via a non-trivial theorem of Fukushima and al. One of the motivations which led to introduce the Liouville Brownian motion in [14] was to investigate the puzzling Liouville metric through the eyes of this new stochastic process. In particular, the theory developed for example in [28, 29, 30], whose aim is to capture the “geometry” of the underlying space out of the Dirichlet form of a process living on that space, suggests a notion of distance associated to a Dirichlet form. More precisely, under some mild hypothesis on the regularity of the Dirichlet form, they provide a distance in the wide sense, called intrinsic metric, which is interpreted as an extension of Riemannian geometry applicable to non differential structures. We prove that the needed mild hypotheses are satisfied but that the associated intrinsic metric unfortunately vanishes, thus showing that renormalization theory remains out of reach of the metric aspect of Dirichlet forms.